Assertion in K6